sober相关论文
Domain理论是D.S.Scott在70年代初提出来的,它给计算机函数式语言提供了指称语义.序结构和拓扑结构是在Domain理论中占据重要地位......
1945年发表的短篇小说<荷花淀>奠立了孙犁在现当代文学史上的地位.经历十年病痛,十年浩劫,从1976年12月重新走上文坛到2002年7月谢......
在国外纤维胃肠镜检查中普遍使用镇静药，近年来在国内纤维胃肠镜检查中也开始使用无痛的方法进行检查，但是患者都处于意识消失睡眠状......
引入了拟C-连续偏序集的概念，利用拟C-连续性证明了dcpo L是拟连续的当且仅当L上的Scott闭集格是拟连续格．证明了满足性质M的dcpo上......
